home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / kb / README < prev    next >
Encoding:
Text File  |  1995-06-01  |  143 b   |  3 lines  |  [TEXT/MPS ]
  1. This is a simple implementation of the Knuth-Bendix completion
  2. procedure for rewriting systems, written by Gerard Huet (Gerard.Huet@inria.fr).
  3.